theorem of revealed preferences